Tuosto, Emilio: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (28)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Semantics of global view of choreographies

Tuosto, Emilio, Guanciale, Roberto

Журнал:

Journal of Logical and Algebraic Methods in Programming

Рік:

2017

Мова:

english

Файл:

PDF, 685 KB

english, 2017

2

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) ||

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 22.63 MB

english, 2019

3

Realisability of pomsets

Guanciale, Roberto, Tuosto, Emilio

Журнал:

Journal of Logical and Algebraic Methods in Programming

Рік:

2019

Мова:

english

Файл:

PDF, 853 KB

english, 2019

4

Composition and decomposition of multiparty sessions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio

Журнал:

Journal of Logical and Algebraic Methods in Programming

Рік:

2021

Файл:

PDF, 807 KB

2021

5

An Observational Model for Spatial Logics

Emilio Tuosto, Hugo Torres Vieira

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 475 KB

english, 2006

6

A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2006

Мова:

english

Файл:

PDF, 526 KB

english, 2006

7

Preface

Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 106 KB

english, 2009

8

A Coordination-based Methodology for Security Protocol Verification

Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 393 KB

english, 2005

9

A symbolic framework for multi-faceted security protocol analysis

Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto

Журнал:

International Journal of Information Security

Рік:

2008

Мова:

english

Файл:

PDF, 844 KB

english, 2008

10

Tarzan: Communicating and Moving in Wireless Jungles

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 376 KB

english, 2005

11

Coalgebraic minimization of HD-automata for the -calculus using polymorphic types

Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto

Журнал:

Theoretical Computer Science

Рік:

2005

Мова:

english

Файл:

PDF, 613 KB

english, 2005

12

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 8379 || Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems

Tuosto, Emilio, Ouyang, Chun

Рік:

2014

Мова:

english

Файл:

PDF, 2.15 MB

english, 2014

13

[IEEE 2011 34th Annual IEEE Software Engineering Workshop (SEW) - Limerick, Ireland (2011.06.20-2011.06.21)] 2011 IEEE 34th Software Engineering Workshop - Architectural Models of Ambient-PRISMA in Channel Ambient Calculus

Ali, Nour, Tuosto, Emilio

Рік:

2011

Мова:

english

Файл:

PDF, 556 KB

english, 2011

14

A design-by-contract approach to recover the architectural style from run-time misbehaviour

Poyias, Kyriakos, Tuosto, Emilio

Журнал:

Science of Computer Programming

Рік:

2015

Мова:

english

Файл:

PDF, 1.12 MB

english, 2015

15

Attribute-based transactions in service oriented computing

BOCCHI, LAURA, TUOSTO, EMILIO

Журнал:

Mathematical Structures in Computer Science

Рік:

2015

Мова:

english

Файл:

PDF, 689 KB

english, 2015

16

Preface

Lluch Lafuente, Alberto, Tuosto, Emilio

Журнал:

Service Oriented Computing and Applications

Рік:

2015

Мова:

english

Файл:

PDF, 305 KB

english, 2015

17

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Рік:

2015

Мова:

english

Файл:

PDF, 889 KB

english, 2015

18

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - A debugging calculus for mobile ambients

Ferrari, GianLuigi, Tuosto, Emilio

Рік:

2001

Мова:

english

Файл:

PDF, 165 KB

english, 2001

19

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Журнал:

ACM Computing Surveys

Рік:

2016

Мова:

english

Файл:

PDF, 405 KB

english, 2016

20

[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Choreography-Based Analysis of Distributed Message Passing Programs

Taylor, Ramsay, Tuosto, Emilio, Walkinshaw, Neil, Derrick, John

Рік:

2016

Мова:

english

Файл:

PDF, 1005 KB

english, 2016

21

From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, Emilio, Yoshida, Nobuko

Журнал:

ACM SIGPLAN Notices

Рік:

2015

Мова:

english

Файл:

PDF, 889 KB

english, 2015

22

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 484 KB

english, 2019

23

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Towards Races in Linear Logic

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 1.55 MB

english, 2019

24

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || No More, No Less

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 1.18 MB

english, 2019

25

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Self-organising Coordination Regions: A Pattern for Edge Computing

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 2.66 MB

english, 2019

26

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Representing Dependencies in Event Structures

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 313 KB

english, 2019

27

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Мова:

english

Файл:

PDF, 684 KB

english, 2019

28

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data

Riis Nielson, Hanne, Tuosto, Emilio

Рік:

2019

Файл:

PDF, 684 KB

2019